// Copyright (c) 2015 Runtime Verification, Inc. (RV-Match team). All Rights Reserved.

#include <limits.h>

int main(void){
	(0 + INT_MIN) % -1;
	return 0;
}

